admissible conclusion

admissible conclusion
допустимое умозаключение

English-Russian dictionary of computer science and programming. 2013.

Игры ⚽ Нужно решить контрольную?

Смотреть что такое "admissible conclusion" в других словарях:

  • Admissible rule — In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).DefinitionsThe concept of admissibility, as… …   Wikipedia

  • Rule of inference — In logic, a rule of inference (also called a transformation rule) is a function from sets of formulae to formulae. The argument is called the premise set (or simply premises ) and the value the conclusion . They can also be viewed as relations… …   Wikipedia

  • Regle d'inference — Règle d inférence Dans un système logique, les règles d inférence sont les règles qui fondent le processus de déduction, de dérivation ou de démonstration. L application des règles sur les axiomes du système permet d en démontrer les théorèmes.… …   Wikipédia en Français

  • Règle d'inférence — Dans un système logique, les règles d inférence sont les règles qui fondent le processus de déduction, de dérivation ou de démonstration. L application des règles sur les axiomes du système permet d en démontrer les théorèmes. Sommaire 1… …   Wikipédia en Français

  • South African contract law — is essentially a modernised version of the Roman Dutch law of contract, [1] which is itself rooted in Roman law. In the broadest definition, a contract is an agreement entered into by two or more parties with the serious intention of creating a… …   Wikipedia

  • Variable régionalisée — La VR comme phénomène physique : topographie de la ville de Binche …   Wikipédia en Français

  • EVIDENCE — Non Evidentiary Proceedings in Biblical Law The revelation of divine law is found not only in legislation but also in adjudication in particular cases (cf. Lev. 24:12–13; Num. 15:32–34; 27:1–8; Deut. 1:17), whether through Moses or judges or… …   Encyclopedia of Judaism

  • Hierarchy of the Early Church — • The word hierarchy is used here to denote the three grades of bishop, priest, and deacon (ministri) Catholic Encyclopedia. Kevin Knight. 2006. Hierarchy of the Early Church     Hierarchy of the Early Church …   Catholic encyclopedia

  • Miranda warning — The Miranda warning (also referred to as Miranda rights) is a warning that is required to be given by police in the United States to criminal suspects in police custody (or in a custodial interrogation) before they are interrogated to inform them …   Wikipedia

  • Sharia — Not to be confused with Shahriyār. This article is part of the series …   Wikipedia

  • evidence — ev·i·dence 1 / e və dəns, ˌdens/ n [Medieval Latin evidentia, from Latin, that which is obvious, from evident evidens clear, obvious, from e out of, from + videns, present participle of videre to see]: something that furnishes or tends to furnish …   Law dictionary


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»